Feeds to Scour
SubscribedAll
Scoured 77922 posts in 797.4 ms
Reduction for Structured Concurrent Programs
arxiv.org·1d
🔀Concurrency Models
Preview
Report Post
A Better Practices Guide to Using Claude Code
kylestratis.com·1h
💬Interactive REPLs
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·3h
🧩Constraint Solvers
Preview
Report Post
GNU C Language Manual
gnu.org·13h
🪄C Metaprogramming
Preview
Report Post
Building scalable agentic assistants: A graph-based approach
thenewstack.io·14h
🎭Erlang OTP
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Union-Find Path Compression: A Visual Dry Run
dev.to·1d·
Discuss: DEV
📐Succinct Data Structures
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·22h·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
💓Live Variable Analysis
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
Show HN: Link Graph Analysis Tool for Osint Analysts with 70 Transforms
webvetted.com·19h·
Discuss: Hacker News
🔄Copy Propagation
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·16h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·16h·
Discuss: Hacker News
🦀MIR Optimization
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·3h
🧪Compiler Testing
Preview
Report Post
Exploring Crystal macros: Building file-based routing for Kemal
krthr.co·12h·
Discuss: Hacker News
🔧Scheme Macros
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·16h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·9h
🔗Memory Linearization
Preview
Report Post
Jacobson's Rank
denvaar.dev·1d
📐Succinct Data Structures
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help